Certification of Automated Transport Systems
نویسندگان
چکیده
منابع مشابه
Certification of Automated Termination Proofs
Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools which make use of (intricate) decision procedures. But while some proof assistants can check the soundness of a proof, they lack automation. Regarding automated tools, one still has to be satisfied with their answers Yes/No/Donotkn...
متن کاملAutomated Certification of Implicit Induction Proofs
Theorem proving is crucial for the formal validation of properties about user specifications. With the help of the Coq proof assistant, we show how to certify properties about conditional specifications that are proved using automated proof techniques like those employed by the Spike prover, a rewrite-based implicit induction proof system. The certification methodology is based on a new represe...
متن کاملAutomated Certification of Authorisation Policy Resistance
Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by with...
متن کاملSCanDroid: Automated Security Certification of Android Applications
Android is a popular mobile-device platform developed by Google. Android’s application model is designed to encourage applications to share their code and data with other applications. While such sharing can be tightly controlled with permissions, in general users cannot determine what applications will do with their data, and thereby cannot decide what permissions such applications should run ...
متن کاملCertification of Autonomous Systems
Many proposed autonomous systems are safety critical and will have to be certified before they can be operated. This paper reviews the challenges that autonomous systems pose for safety and the current state of relevant safety standards, concluding that autonomous system certification is possible under current regimes, but difficult given current safety analysis techniques. Some promising techn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia - Social and Behavioral Sciences
سال: 2012
ISSN: 1877-0428
DOI: 10.1016/j.sbspro.2012.06.1310